COMPATIBLE_MACHINE="raspberrypi5"
OPTEEMACHINE:raspberrypi5 ?= "rpi5"
